Two philosophies for solving non-linear equations in algebraic cryptanalysis

Algebraic Cryptanalysis [45] is concerned with solving of particular systems of multivariate non-linear equations which occur in cryptanalysis. Many different methods for solving such problems have been proposed in cryptanalytic literature: XL and XSL method, Gröbner bases, SAT solvers, as well as many other. In this paper we survey these methods and point out that the main working principle in all of them is essentially the same. One quantity grows faster than another quantity which leads to a “phase transition” and the problem becomes efficiently solvable. We illustrate this with examples from both symmetric and asymmetric cryptanalysis. In this paper we point out that there exists a second (more) general way of formulating algebraic attacks through dedicated coding techniques which involve redundancy with addition of new variables. This opens numerous new possibilities for the attackers and leads to interesting optimization problems where the existence of interesting equations may be somewhat deliberately engineered by the attacker

Search for high-mass diboson resonances with boson-tagged jets in proton-proton collisions at √s=8 TeV with the ATLAS detector

A search is performed for narrow resonances decaying into WW, WZ, or ZZ boson pairs using 20.3 fb−1 of proton-proton collision data at a centre-of-mass energy of √s=8 TeV recorded with the ATLAS detector at the Large Hadron Collider. Diboson resonances with masses in the range from 1.3 to 3.0 TeV are sought after using the invariant mass distribution of dijets where both jets are tagged as a boson jet, compatible with a highly boosted W or Z boson decaying to quarks, using jet mass and substructure properties. The largest deviation from a smoothly falling background in the observed dijet invariant mass distribution occurs around 2 TeV in the WZ channel, with a global significance of 2.5 standard deviations. Exclusion limits at the 95% confidence level are set on the production cross section times branching ratio for the WZ final state of a new heavy gauge boson, W′, and for the WW and ZZ final states of Kaluza-Klein excitations of the graviton in a bulk Randall-Sundrum model, as a function of the resonance mass. W′ bosons with couplings predicted by the extended gauge model in the mass range from 1.3 to 1.5 TeV are excluded at 95% confidence level

Measurements of long-range azimuthal anisotropies and associated Fourier coefficients for pp collisions at √s=5.02 and 13 TeV and p+Pb collisions at √sNN=5.02 TeV with the ATLAS detector

ATLAS measurements of two-particle correlations are presented for √s=5.02 and 13 TeV ppcollisions and for √sNN=5.02 TeV p+Pb collisions at the LHC. The correlation functions are measured as a function of relative azimuthal angle Δϕ, and pseudorapidity separation Δη, using charged particles detected within the pseudorapidity interval |η|2, is studied using a template fitting procedure to remove a “back-to-back” contribution to the correlation function that primarily arises from hard-scattering processes. In addition to the elliptic, cos (2Δϕ), modulation observed in a previous measurement, the pp correlation functions exhibit significant cos (3Δϕ) and cos (4Δϕ) modulation. The Fourier coefficients vn, n associated with the cos (nΔϕ) modulation of the correlation functions for n=2–4 are measured as a function of charged-particle multiplicity and charged-particle transverse momentum. The Fourier coefficients are observed to be compatible with cos (nϕ) modulation of per-event single-particle azimuthal angle distributions. The single-particle Fourier coefficients vn are measured as a function of charged-particle multiplicity, and charged-particle transverse momentum for n=2–4. The integrated luminosities used in this analysis are, 64nb−1 for the √s=13 TeV pp data, 170 nb−1 for the √ s = 5.02 TeV pp data, and 28 nb−1 for the √sNN = 5.02 TeV p+Pb data

Search for additional heavy neutral Higgs and gauge bosons in the ditau final state produced in 36 fb−1 of pp collisions at √s=13 TeV with the ATLAS detector

A search for heavy neutral Higgs bosons and Z′ bosons is performed using a data sample corresponding to an integrated luminosity of 36.1 fb−1 from proton-proton collisions at √s=13 TeV recorded by the ATLAS detector at the LHC during 2015 and 2016. The heavy resonance is assumed to decay to τ+τ− with at least one tau lepton decaying to final states with hadrons and a neutrino. The search is performed in the mass range of 0.2-2.25 TeV for Higgs bosons and 0.2-4.0 TeV for Z′ bosons. The data are in good agreement with the background predicted by the Standard Model. The results are interpreted in benchmark scenarios. In the context of the hMSSM scenario, the data exclude tan β > 1.0 for mA= 0.25 TeV and tan β > 42 for mA=1.5 TeV at the 95% confidence level. For the Sequential Standard Model, ZSSM′ with mZ′< 2.42 TeV is excluded at 95% confidence level, while Z NU′ with mZ ′ < 2.25 TeV is excluded for the non-universal G(221) model that exhibits enhanced couplings to third-generation fermions

Search for a new resonance decaying to a W or Z boson and a Higgs boson in the ll/lv/vv + bb final states with the ATLAS detector

A search for a new resonance decaying to a W or Z boson and a Higgs boson in the ll/lv/vv + bb final states is performed using 20.3 fb −1 of pp collision data recorded at √ s = 8 TeV with the ATLAS detector at the Large Hadron Collider. The search is conducted by examining the W H / Z H invariant mass distribution for a localized excess. No significant deviation from the Standard Model background prediction is observed. The results are interpreted in terms of constraints on the Minimal Walking Technicolor model and on a simplified approach based on a phenomenological Lagrangian of Heavy Vector Triplets

Search for doubly charged Higgs boson production in multi-lepton final states with the ATLAS detector using proton-proton collisions at √s = 13TeV

A search for doubly charged Higgs bosons with pairs of prompt, isolated, highly energetic leptons with the same electric charge is presented. The search uses a proton–proton collision data sample at a centre-of-mass energy of 13 TeV corresponding to 36.1 fb −1 of integrated luminosity recorded in 2015 and 2016 by the ATLAS detector at the LHC. This analysis focuses on the decays H±±→e±e±, H±±→e±μ± and H±±→μ±μ±, fitting the dilepton mass spectra in several exclusive signal regions. No significant evidence of a signal is observed and corresponding limits on the production cross-section and consequently a lower limit on m(H±±) are derived at 95% confidence level. With ℓ±ℓ±=e±e±/μ±μ±/e±μ±, the observed lower limit on the mass of a doubly charged Higgs boson only coupling to left-handed leptons varies from 770 to 870 GeV (850 GeV expected) for B(H±±→ℓ±ℓ±)=100% and both the expected and observed mass limits are above 450 GeV for B(H±±→ℓ±ℓ±)=10% and any combination of partial branching ratios

Study of the spin and parity of the Higgs boson in diboson decays with the ATLAS detector

Studies of the spin, parity and tensor couplings of the Higgs boson in the H→ZZ∗→4ℓ, H→WW∗→eνμν and H→γγ decay processes at the LHC are presented. The investigations are based on 25fb−1 of pp collision data collected by the ATLAS experiment at √s=7 TeV and √s=8 TeV. The Standard Model (SM) Higgs boson hypothesis, corresponding to the quantum numbers JP=0+, is tested against several alternative spin scenarios, including non-SM spin-0 and spin-2 models with universal and non-universal couplings to fermions and vector bosons. All tested alternative models are excluded in favour of the SM Higgs boson hypothesis at more than 99.9 % confidence level. Using the H → ZZ∗ → 4ℓ and H → WW∗ → eνμν decays, the tensor structure of the interaction between the spin-0 boson and the SM vector bosons is also investigated. The observed distributions of variables sensitive to the non-SM tensor couplings are compatible with the SM predictions and constraints on the non-SM couplings are derived

Determination of the top-quark pole mass using tt̄ + 1-jet events collected with the ATLAS experiment in 7 TeV pp collisions

The normalized differential cross section for top-quark pair production in association with at least one jet is studied as a function of the inverse of the invariant mass of the tt̄ + 1-jet system. This distribution can be used for a precise determination of the top-quark mass since gluon radiation depends on the mass of the quarks. The experimental analysis is based on proton-proton collision data collected by the ATLAS detector at the LHC with a centre-of-mass energy of 7 TeV corresponding to an integrated luminosity of 4.6 fb−¹. The selected events were identified using the lepton+jets top-quark-pair decay channel, where lepton refers to either an electron or a muon. The observed distribution is compared to a theoretical prediction at next-to-leading-order accuracy in quantum chromodynamics using the pole-mass scheme. With this method, the measured value of the top-quark pole mass, mtpole, is: mtpole=173.7±1.5(stat.)±1.4(syst.)−0.5+1.0(theory)GeV. This result represents the most precise measurement of the top-quark pole mass to date

Search for heavy long-lived multi-charged particles in pp collisions at √s = 8 TeV using the ATLAS detector

A search for heavy long-lived multi-charged particles is performed using the ATLAS detector at the LHC. Data collected in 2012 at s√ = 8 TeV from pp collisions corresponding to an integrated luminosity of 20.3 fb−1 are examined. Particles producing anomalously high ionisation, consistent with long-lived massive particles with electric charges from |q|=2e to |q|=6e are searched for. No signal candidate events are observed, and 95% confidence level cross-section upper limits are interpreted as lower mass limits for a Drell–Yan production model. The mass limits range between 660 and 785 GeV

Probing the W tb vertex structure in t-channel single-top-quark production and decay in pp collisions at s√=8 TeV with the ATLAS detector

To probe the W tb vertex structure, top-quark and W -boson polarisation observables are measured from t-channel single-top-quark events produced in proton-proton collisions at a centre-of-mass energy of 8 TeV. The dataset corresponds to an integrated luminosity of 20.2 fb−1, recorded with the ATLAS detector at the LHC. Selected events contain one isolated electron or muon, large missing transverse momentum and exactly two jets, with one of them identified as likely to contain a b-hadron. Stringent selection requirements are applied to discriminate t-channel single-top-quark events from background. The polarisation observables are extracted from asymmetries in angular distributions measured with respect to spin quantisation axes appropriately chosen for the top quark and the W boson. The asymmetry measurements are performed at parton level by correcting the observed angular distributions for detector effects and hadronisation after subtracting the background contributions. The measured top-quark and W -boson polarisation values are in agreement with the Standard Model predictions. Limits on the imaginary part of the anomalous coupling gR are also set from model-independent measurements.We acknowledge the support of ANPCyT, Argentina; YerPhI, Armenia; ARC, Australia; BMWFW and FWF, Austria; ANAS, Azerbaijan; SSTC, Belarus; CNPq and FAPESP, Brazil; NSERC, NRC and CFI, Canada; CERN; CONICYT, Chile; CAS, MOST and NSFC, China; COLCIENCIAS, Colombia; MSMT CR, MPO CR and VSC CR, Czech Republic; DNRF and DNSRC, Denmark; IN2P3-CNRS, CEA-DSM/IRFU, France; SRNSF, Georgia; BMBF, HGF, and MPG, Germany; GSRT, Greece; RGC, Hong Kong SAR, China; ISF, I-CORE and Benoziyo Center, Israel; INFN, Italy; MEXT and JSPS, Japan; CNRST, Morocco; NWO, Netherlands; RCN, Norway; MNiSW and NCN, Poland; FCT, Portugal; MNE/IFA, Romania; MES of Russia and NRC KI, Russian Federation; JINR; MESTD, Serbia; MSSR, Slovakia; ARRS and MIZS, Slovenia; DST/NRF, South Africa; MINECO, Spain; SRC and Wallenberg Foundation, Sweden; SERI, SNSF and Cantons of Bern and Geneva, Switzerland; MOST, Taiwan; TAEK, Turkey; STFC, United Kingdom; DOE and NSF, United States of America. In addition, individual groups and members have received support from BCKDF, the Canada Council, CANARIE, CRC, Compute Canada, FQRNT, and the Ontario Innovation Trust, Canada; EPLANET, ERC, ERDF, FP7, Horizon 2020 and Marie Sklodowska-Curie Actions, European Union; Investissements d'Avenir Labex and Idex, ANR, Region Auvergne and Fondation Partager le Savoir, France; DFG and AvH Foundation, Germany; Herakleitos, Thales and Aristeia programmes co-financed by EU-ESF and the Greek NSRF; BSF, GIF and Minerva, Israel; BRF, Norway; CERCA Programme Generalitat de Catalunya, Generalitat Valenciana, Spain; the Royal Society and Leverhulme Trust, United Kingdom.The crucial computing support from all WLCG partners is acknowledged gratefully, in particular from CERN, the ATLAS Tier-1 facilities at TRIUMF (Canada), NDGF (Denmark, Norway, Sweden), CC-IN2P3 (France), KIT/GridKA (Germany), INFN-CNAF (Italy), NL-T1 (Netherlands), PIC (Spain), ASGC (Taiwan), RAL (UK) and BNL (USA), the Tier-2 facilities worldwide and large non-WLCG resource providers. Major contributors of computing resoinfo:eu-repo/semantics/publishedVersio